System Level Design Methodology
نویسنده
چکیده
There are many fundamental problems in the design of object-oriented methods that support the development of formal executable models on a system level, and that are suitable for hardware/software co-specification. System level description formalisms should combine concepts expressive enough to model the essentials of a system on the right level of abstraction. This paper reports experiences in developing a specification and design method SHE (Software/Hardware Engineering) which is based on a formal language POOSL (Parallel Object-Oriented Specification Language). The method offers a path from an informal specification to a unified formal model that enables evaluation of system properties. This paper describes concrete new results as well as an approach towards research on system level methodology.
منابع مشابه
Exploring Health System Responsiveness in Ambulatory Care and Disease Management and its Relation to Other Dimensions of Health System Performance (RAC) – Study Design and Methodology
Background The responsiveness of a health system is considered to be an intrinsic goal of health systems and an essential aspect in performance assessment. Numerous studies have analysed health system responsiveness and related concepts, especially across different countries and health systems. However, fewer studies have applied the concept for the evaluation of specific healthcare delivery s...
متن کاملA Novel System-Level Calibration Method for Gimballed Platform IMU Using Optimal Estimation
An accurate calibration of inertial measurement unit errors is increasingly important as the inertial navigation system requirements become more stringent. Developing calibration methods that use as less as possible of IMU signals has 6-DOF gimballed IMU in space-stabilized mode is presented. It is considered as held stationary in the test location incorporating 15 di...
متن کاملThe Future of High-Level Modelling and System Level Design: Some Possible Methodology Scenarios
We discuss the future of high-level modelling in the context of system-level design, as the two concepts are inextricably interlinked. This is described as several possible methodology scenarios for the future of system level design as it unfolds within the electronics industry. Although these scenarios are presented as orthogonal, of course in actual fact the future may present us several of t...
متن کاملSpecC System-Level Design Methodology Applied to the Design of a GSM Vocoder
| In this paper we describe the steps and transformations of the SpecC system-level design methodology applied to the example of designing and implementing a voice encoding/decoding system with the purpose of demonstrating this design methodology on an industrial size example. Starting with the system speci cation, the design is gradually re ned down to an optimal hardware/software implementati...
متن کاملSystem-level Analysis of Rf Transceiver Integrated Circuits
In a systematic top-down design methodology it is important to perform a careful high-level architectural design before proceeding with the detailed block-level design. For the high-level design of transceiver front-ends there is a lack of behavioral system-level simulation tools, which are both fast and accurate enough to allow the exploration of system-level tradeoffs. In this paper a novel s...
متن کاملThe SpecC System - Level Design Language and Methodology , Part 2 Class 349
A well-defined design methodology supported by a system-level design language (SLDL) is the key for managing the complexity of the design flow, especially at the system level. Only with well-defined and unambiguous models and transformations can we achieve productivity gains through synthesis, verification and tool interoperability. This paper presents the SpecC system design methodology. It sh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998